2 - PDFSEARCH.IO - Document Search Engine

2
Results: 835450

#	Item
231	System Description: GAPT 2.0? Gabriel Ebner1 , Stefan Hetzl1 , Giselle Reis2 , Martin Riener3 , Simon Wolfsteiner1 , and Sebastian Zivota1 1 Vienna University of Technology Add to Reading List Source URL: www.logic.at Language: English - Date: 2018-07-19 05:32:19 Mathematical logic Theoretical computer science Automated theorem proving Mathematics Proof theory Logic in computer science Formal methods Automated reasoning Proof assistant Proof complexity Reasoning system Isabelle
232	TECHNICAL WHITEPAPER Version 2.5 © 2018, everiToken Zug, Switerzland Add to Reading List Source URL: www.everitoken.io Language: English - Date: 2018-10-23 13:23:29 Cryptocurrencies Blockchains Concurrent computing Ethereum Distributed computing Alternative currencies Computing Cross-platform software Smart contract ERC-20 EOS.IO Non-fungible token
233	Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-06-29 07:04:13 Linear temporal logic Temporal logic Symbol FO Differential topology operator
234	Poster: A Reputation-Based Resilient P2P Botnet Jie Yin1,2, Xiang Cui1,2, Ke Li3 1 2 Institute of Information Engineering, Chinese Academy of Sciences Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-05-12 09:17:38 Concurrent computing Computer network security Multi-agent systems Spamming Computing Cybercrime Distributed computing Malware Botnet Peer-to-peer Social peer-to-peer processes
235	Europe 2018 Participating Companies Over 300 companies and more being added every day! 365 Business Finance ABN AMRO AccountScore Add to Reading List Source URL: s3-us-west-2.amazonaws.com Language: English - Date: 2018-10-23 12:06:57 Finance Financial services Banks Investment banks Primary dealers Wirecard BNP Paribas Qualified Foreign Institutional Investor Consors Finanz
236	Verifiable Delay Functions Dan Boneh1 , Joseph Bonneau2 , Benedikt B¨ unz1 , and Ben Fisch1 1 2 Add to Reading List Source URL: eprint.iacr.org Language: English - Date: 2018-08-21 23:38:12 Complexity classes Cryptography Control flow Eval Computing Verifiable secret sharing Verifiable random function Digital signature NP NC
237	Rules Reference VersionEffectiveSUMMARY OF MAJOR CHANGES • Page 2: Changed “Symbols” to “Card Symbols”. • Page 4: Added example under Using Abilities. Add to Reading List Source URL: images-cdn.fantasyflightgames.com Language: English - Date: 2018-08-29 10:42:17 Collectible card games Virtual reality in fiction Netrunner Gaming Limited Edition Android Leisure Recreation
238	SUPREME COURT OF COLORADO 2 East 14th Ave. Denver, COOriginal Proceeding Pursuant to Colo. Rev. Stat. § Appeal from the Ballot Title Board Add to Reading List Source URL: www.courts.state.co.us Language: English - Date: 2018-04-13 14:30:13 Ballot title Political terminology Referendums
239	Kobayashi, T., & Boase, JNo such effect? The implications of measurement error in self-report measures of mobile communication use. Communication Methods and Measures, 6(2), 1-18. Published version available on Add to Reading List Source URL: individual.utoronto.ca Language: English - Date: 2017-09-21 13:37:56 Mobile technology Technology Information and communications technology Mobile telecommunications Gmail Text messaging Cross-platform software Webmail Mobile phone Mobile telephony SMS Opinion poll
240	FIMFA – École Normale supérieuremars 2011 Partiel Algèbre 2 Responsable : Mr O. DEBARRE Add to Reading List Source URL: www.math.ens.fr Language: French - Date: 2012-03-09 08:30:43

UPDATE